affine 論理
affine logic
縮約 (減 C)$ \frac{A,A\vdash B}{A\vdash B},$ \frac{A\vdash B}{A\vdash B,B}の無い古典論理 弱化 (增 W)$ \frac{A\vdash B}{C,A\vdash B},$ \frac{A\vdash B}{A\vdash B,C}の有る線形論理 線形含意$ \multimapを使ひ、$ A\multimap B\otimes\top\iff A\to Bとして affine 含意$ \toを導入できる ludics